computable predicate

un. 可算谓词
[网络] 可算述词

热门查询